Implication Operator For C++ :: Walter E. Brown